582. Self-Timed Control of Concurrent Processes
Author: edited by Victor I. Varshavsky.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science.,Engineering.,Information theory.,Mathematical optimization.,Systems engineering.
583. Semantics:
Author: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
584. Sequential logic synthesis
Author: / By Paranav Ashar, Srinivas Devadas, A. Richard Newton
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Logic circuits - Design and construction-Data processing,Logic design - Data processing,Computer-aided design and construction--Data processing
Classification :
TK
7868
.
L6A84
1991
585. Sequential logic synthesis
Author: / Pranav Ashar,Ashar
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic circuits -- Design and construction -- Data processing,Logic design -- Data processing,Computer - aided design,Integrated Circuits -- Very large scale integration -- Design and construction --
Classification :
TK
7868
.
L6A84
1992
586. Sequential logic testing and verification
Author: / by Abhijit Ghosh, Srinivas Devadas, A. Richard Newton,Ghosh
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic circuits -- Testing,Logic design,Computer - aided design
Classification :
TK
7868
.
L6G47
1992
587. Soft Computing in Measurement and Information Acquisition
Author: edited by Leon Reznik, Vladik Kreinovich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science.,Engineering mathematics.,Engineering.,Management information systems.,Mathematics.
588. Software Composition
Author: edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
589. Software Engineering 3
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Information theory. ; Software engineering. ; Computer science. ; Logic design. ; Theory of Computation. ;
590. Software Engineering -- ESEC '95 :
Author: edited by Wilhelm Schäfer, Pere Botella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
591. Software Engineering and Environment :
Author: by Phillip C.-Y. Sheu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Object-oriented programming (Computer science),Software engineering.
592. Software Engineering with Computational Intelligence
Author: edited by Taghi M. Khoshgoftaar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
593. Software Service and Application Engineering
Author: edited by Maritta Heisel
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
594. Software engineering and formal methods :
Author: Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.
Classification :
QA76
.
758
.
I58
2011
595. Software engineering education :
Author: Jorge L. Diaz-Herrera (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering -- Study and teaching (Higher),Software engineering -- Study and teaching (Higher) -- Congresses.
596. Spatial information theory :
Author: Thora Tenbrink, John Stell, Antony Galton, Zena Wood (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geographic information systems, Congresses
Classification :
G70
.
212
.
C67
2013
597. Specification of Software Systems
Author: by V.S. Alagar, K. Periyasamy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
F67
B987
1998
598. Spectral Techniques in VLSI CAD
Author: by Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer-aided design.,Electronic data processing.
Classification :
TK7874
.
75
B965
2001
599. Spectral techniques and fault detection /
Author: edited by Mark G. Karpovsky
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fault-tolerant computing-- Congresses,Logic design-- Congresses,Signal processing-- Digital techniques-- Congresses,Spectral theory (Mathematics)-- Congresses
Classification :
TK7868
.
L6
S64
1985
600. Stabilization, safety, and security of distributed systems :
Author: Taisuke Izumi, Petr Kuznetsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.
Classification :
QA76
.
9
.
S54
